Function type - PDFSEARCH.IO - Document Search Engine

Function type
Results: 893

#	Item
131	Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution Heather Miller, Philipp Haller1 , and Martin Odersky EPFL and Typesafe, Inc.1 1 {heather.miller, martin.odersky}@epfl.ch and philipp Add to Reading List Source URL: infoscience.epfl.ch Language: English - Date: 2014-05-14 09:23:19 Data types Type theory Subroutines Functional programming C++ Closure Spore Anonymous function Type system Software engineering Computing Computer programming
132	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-05-03 11:20:55 Topological spaces Contractible space Homotopy Connected space Continuous function Topology General topology Homotopy theory
133	PDF Document Add to Reading List Source URL: herbert.the-little-red-haired-girl.org Language: English - Date: 2009-07-29 03:21:48 Object-oriented programming Method C++ Type theory Software design patterns Virtual function C++ classes Polymorphism Abstract type Software engineering Computer programming Computing
134	Using Genetic Programming To Evolve an Algorithm For Factoring Numbers Jenny Rose Finkel Computer Science Department Stanford University Stanford, CA 94305 Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2006-11-17 21:29:07 Data types Operations research Computer arithmetic Floating point Function Mathematical optimization Type system Lisp Control flow Programming language theory Software engineering Computing
135	PLEASE TYPE POLICY TITLE HERE Add to Reading List Source URL: www.schn.health.nsw.gov.au Language: English - Date: 2015-05-31 10:05:53 Organic chemistry Renal physiology Aminoglycoside antibiotics Organofluorides Vancomycin Renal function Linezolid Aminoglycoside Methadone Chemistry Biology Eli Lilly and Company
136	Event Details Type of Event/Function: (Circle) Birthday/Wedding/Reunion/Other - Provide Details: _____________________________________________________________________ Contact Name: Contact Number: Add to Reading List Source URL: www.wangbowl.com.au Language: English - Date: 2014-02-10 01:24:22 Catering Chair
137	Partial Dispatch: Optimizing Dynamically-Dispatched Multimethod Calls with Compile-Time Types and Runtime Feedback Jonathan Bachrach Artificial Intelligence Laboratory Massachussetts Institute of Technology Cambridge, MA Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2001-12-15 13:36:05 Object-oriented programming Polymorphism Method Type theory Data types Multiple dispatch Dynamic dispatch Generic function Type system Software engineering Computing Computer programming
138	Phone Book Example John Rushby Computer Science Laboratory SRI International Menlo Park CA USA Add to Reading List Source URL: www.csl.sri.com Language: English - Date: 2013-04-22 13:35:18 Type theory Function Axiom Mathematics Logic Mathematical logic
139	Microsoft Word - ijita12-4.doc Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:42:08 Elementary mathematics Constraint programming Type theory Environment variable Function Differential of a function Constraint satisfaction problem Mathematics Algebra Variables
140	Package ‘Runuran’ February 19, 2015 Type Package Title R interface to the UNU.RAN random variate generators VersionDate Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2015-02-19 16:36:26 Randomness Probability theory Monte Carlo methods Inverse transform sampling Probability distribution Quantile function Normal distribution Random number generation Probability mass function Probability and statistics Statistics Non-uniform random numbers

UPDATE